/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 
≤May 14, 1976




␈↓ ↓H␈↓Professor J. Gat, Chairman
␈↓ ↓H␈↓Senior Appointments Committee
␈↓ ↓H␈↓The Weizmann Institute
␈↓ ↓H␈↓Rehovot, ISRAEL

␈↓ ↓H␈↓Dear Professor Gat:

␈↓ ↓H␈↓Sorry to have been delayed in answering your letter about Zohar Manna.

␈↓ ↓H␈↓Your␈α∪≡rst␈α∪question␈α∩can␈α∪be␈α∪answered␈α∪quite␈α∩simply.␈α∪ I␈α∪am␈α∩recommending␈α∪him␈α∪for␈α∪a␈α∩tenured
␈↓ ↓H␈↓appointment at Stanford.

␈↓ ↓H␈↓I␈α
consider␈α
his␈α
principle␈α
contribution␈α
to␈α
be␈α
methods␈α
for␈α
proving␈α
that␈α
computer␈α
programs␈αmeet␈α
their
␈↓ ↓H␈↓speci≡cations.␈α In␈αthat␈αarea␈αI␈αwould␈αput␈αDana␈αScott␈αof␈αOxford␈αUniversity␈αahead␈αof␈αhim␈αin␈αterms
␈↓ ↓H␈↓of␈αhaving␈αmade␈αa␈αgreater␈αsingle␈αspectacular␈αcontribution,␈αbut␈αI␈αwould␈αput␈αManna␈αon␈αequal␈αterms
␈↓ ↓H␈↓with␈α∞Burstall,␈α
Milner,␈α∞and␈α
Hoare␈α∞and␈α
ahead␈α∞of␈α
Igarashi␈α∞and␈α
London.␈α∞ His␈α
ability␈α∞to␈α
synthesize
␈↓ ↓H␈↓the␈αwork␈αof␈αthe␈α≡eld␈αinto␈αa␈αbook␈αis␈αan␈αadditional␈αreason␈αwhy␈αI␈αwould␈αlike␈αto␈αkeep␈αhim␈αhere␈αand
␈↓ ↓H␈↓why␈α⊃you␈α⊃should␈α∩want␈α⊃him.␈α⊃ I␈α⊃should␈α∩say␈α⊃that␈α⊃whether␈α⊃Stanford␈α∩makes␈α⊃him␈α⊃a␈α∩suitable␈α⊃o≥er
␈↓ ↓H␈↓depends not only on me.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science